/*test recursive function 
 */
/*@m>=0&&n>=0*/
int ack(int m,int n)
{
	int temp;
  	if(m==0)
  		return (n+1);
	else if (n==0)
	{
		temp =ack(m-1,1);
		return temp;
	}
	else
	{
		temp=ack(m,n-1);
		temp=ack(m-1,temp);
		return temp;
	}
}
/*@result>=0*/


/*@*/
void main()
{
	int i;
	i=ack(3,5);
	print(i);
	return;
}
/*@*/
